Section: Dissemination
Teaching - Supervision - Juries
Teaching
-
Frédéric Dadeau, Algorithmics and Programming, 80 hours (ETD), L1, University of Franche-Comté, France
Frédéric Dadeau, Databases, 40 hours (ETD), L1, University of Franche-Comté, France
Frédéric Dadeau, Object-Oriented Modelling and Conception, 40 hours (ETD), L3, University of Franche-Comté, France
Frédéric Dadeau, Web Languages, 26 hours (ETD), L2, University of Franche-Comté, France
Alain Giorgetti, Logics and Deduction, 52 hours (ETD), L2, Université de Franche-Comté, France
Alain Giorgetti, Formal Methods, 81 hours (ETD), L3, Université de Franche-Comté, France
Pierre-Cyrille Héam, Discrete Mathematics, 190 hours (ETD), L1/L2, IUT Belfort-Montbéliard, France
Olga Kouchnarenko, Formal languages and automata, 95 hours (ETD), L3, University of Franche-Comté, France
Olga Kouchnarenko, Syntactic analysis and XML, 33 hours (ETD), L3, University of Franche-Comté, France
-
Fabrice Bouquet, Compilation, 81 hours (ETD), M1, Université de Franche-Comté, France
Fabrice Bouquet, Method et Tools For Artificial Intelligence, 40 hours (ETD), M1, Université de Franche-Comté, France
Fabrice Bouquet, Test, 30 hours (ETD), M2, Université de Franche-Comté, France
Véronique Cortier, Security Theory, 37 hours (ETD), M2, Lorraine University, France
Frédéric Dadeau, Testing, 22 hours (ETD), M2, University of Franche-Comté, France
Alain Giorgetti, Program Proofs, 60 hours (ETD), M1, Université de Franche-Comté, France
Alain Giorgetti, Decision Procedures, 13 hours (ETD), M2, Université de Franche-Comté, France
Pierre-Cyrille Héam, Introduction to calculability, 22 hours (ETD), M2, Université de Franche-Comté, France
Pierre-Cyrille Héam, Automata based Verification, 20 hours (ETD), M2, Université de Franche-Comté, France
Abdessamad Imine, Security for XML Documents, 12 hours (ETD), M1, University of Lorraine, France
Olga Kouchnarenko, Components and security, 12 hours (ETD), M2, University of Franche-Comté, France
Olga Kouchnarenko, Specification, verification and validation, 15 hours (ETD), M2, University of Franche-Comté, France
Olga Kouchnarenko, Modelling and evaluation of complex systems, 20 hours (ETD), M2, University of Franche-Comté, France
-
Fabrice Bouquet, Model Based Testing for Functional and Security Test, 4 hours (ETD), 12th edition of the International School on Foundations of Security Analysis and Design (FOSAD), Bertinoro, Italy
Supervision
-
Jonathan Lasalle, Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués, Université de Franche Comté, June 29th, Fabrice Bouquet and Fabien Peureux
Elizabeta Fourneret, Génération de tests à partir de modèles UML/OCL pour les systèmes critiques évolutifs, Université de Franche Comté, December 5th, Fabrice Bouquet
Asma Chérif, Modèles de Contrôle d'Accès pour les Applications Collaboratives, Université de Lorraine, November 26th, Abdessamad Imine and Michaël Rusinowitch
-
Kalou Cabrera Castillos, Automated Test Generation from Property Patterns, started in December 2009, Frédéric Dadeau and Jacques Julliand
Rémy Chrétien, Decision procedures of equivalence properties, started in October 2012, Véronique Cortier and Stéphanie Delaune
Aloïs Dreyfus, Efficient approches for systems validation, started in Novembre 2010, Pierre-Cyrille Héam and Olga Kouchnarenko
Ivan Enderlin, Test Data Generation for Unit Testing in PHP, started in October 2011, Fabrice Bouquet, Frédéric Dadeau and Alain Giorgetti
Jean-Marie Gauthier, Method for validation and simulation of SysML model: Applied on micro-systems, started in October 2012, Fabrice Bouquet, Fabien Peureux and Ahmed Hammad
Richard Genestier, Formal specification and verification of programs generating structured data, started in October 2012, Alain Giorgetti and Olga Kouchnarenko
Bao-Thien Hoang, Secure Collaboration in Social Networks, started in April 2011, Abdessamad Imine and Christophe Ringeissen
Vincent Hugot, Approximations and Constraints: Application to the Verification of Embedded Systems, started in October 2010, Pierre-Cyrille Héam and Olga Kouchnarenko
Jean-Luc Joly, Randomized approaches for validation and verification procedures, started in December 2011, Pierre-Cyrille Héam
Robert Künnemann, Verification of Security APIs, started in October 2010, Steve Kremer and Graham Steel
Houari Mahfoud, Access Control Models for XML Documents, started in September 2010, Abdessamad Imine and Michaël Rusinowitch
Guillaume Scerri, Symbolic and automatic security proofs in computational models, started in September 2011, Hubert Comon-Lundh and Véronique Cortier
Elena Tushkanova, Specification and formal certification of (combinations of) decision procedures, started in October 2009, Alain Giorgetti, Olga Kouchnarenko and Christophe Ringeissen
Cyrille Wiedling, Formal analysis of E-voting protocols, started in September 2011, Véronique Cortier
Juries
Inria evaluation committee (Véronique Cortier, Michaël Rusinowitch)
Referee for Karine Mordal's PhD, December 2012, Paris: Analyse et conception d'un modèle de qualité logiciel (Fabrice Bouquet)
Referee for Benoït Groz' PhD, October 2012, Lille: XML Security Views Queries, Updates, and Schema (Michaël Rusinowitch)
Referee for Marion Daubignard's PhD, January 2012, Grenoble: Formal Methods For Concrete Security Proofs (Steve Kremer)
Referee for Antoun Yaacoub's PhD, November 2012, Toulouse: Information Flow in Logic Programming (Olga Kouchnarenko)
Committee chair for Lionel Droz-Bartholet's PhD, February 2012, Besançon: Conception, validation et évaluation d'un nouveau protocole de gestion de la mémoire partagée collaborative tolérant aux pannes (Fabrice Bouquet)
Committee chair for Qianxue Wang's PhD, March 2012, Besancon, France: A new familly of chaotic pseudo-random generators (Pierre-Cyrille Héam)
Committee chair for Lamiel Toch's PhD, November 2012, Besancon, France: Contribution to scheduling techniques on parallel and ditributive systems (Pierre-Cyrille Héam)
Examiner for Muhammad Naeem Irfan's PhD, September 2012, Grenoble, France: Analysis and optimisation of machine learning algorithms for software components (Frédéric Dadeau)